Data-flow analysis - PDFSEARCH.IO - Document Search Engine

Data-flow analysis
Results: 379

#	Item
81	May 12, 2006 JSAT Corporation Operating Results for the Year and the 4th Quarter Ended March 31, 2006 JSAT Corporation (“JSAT” or “the Company”) today reported operating results and other financial data for the y Add to Reading List Source URL: www.skyperfectjsat.co.jp Language: English - Date: 2014-04-23 03:18:32 Generally Accepted Accounting Principles Fundamental analysis Financial statements Cash flow Financial accounting Earnings before interest taxes depreciation and amortization Operating cash flow Income Amortization Accountancy Finance Business
82	SMT-based False Positive Elimination in Static Program Analysis Maximilian Junker1 , Ralf Huuck2 , Ansgar Fehnker2 , Alexander Knapp3 1 2 Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-01-01 18:04:17 Compiler construction Control flow graph Data-flow analysis
83	Data Flow Analysis for Software Prefetching Linked Data Structures in Java Brendon Cahoon and Kathryn S. McKinley Department of Computer Science University of Massachusetts Amherst, MA 01002 Add to Reading List Source URL: research.ac.upc.edu Language: English - Date: 2002-03-20 08:48:07 Computer programming Primitive types Programming language implementation Pointer Compiler optimization Reference Linked list Data-flow analysis C Software engineering Computing Data types
84	SSVInterprocedural Pointer Analysis in Goanna J¨org Brauerb,2 Ralf Huucka Bastian Schlichb,2 a National ICT Australia Ltd. (NICTA) Locked Bag 6016, University of New South Wales Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2011-08-18 01:13:28 Data types Variables Source code NuSMV Pointer C dynamic memory allocation Data-flow analysis Differential equation Subroutine Software engineering Computing Computer programming
85	¨ T ECHNOLOGIE K ARLSRUHER I NSTITUT F UR ¨ F UR ¨ I NFORMATIK FAKULT AT Add to Reading List Source URL: www.joachim-breitner.de Language: English - Date: 2014-10-06 15:51:37 Functional programming Subroutines Continuations Programming paradigms Continuation-passing style Data types Control flow analysis Closure Monad Software engineering Computing Computer programming
86	Data-flow Analysis for Interruptdriven Microcontroller Software Nathan Cooprider Advisor: John Regehr Dissertation defense School of Computing University of Utah Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2008-09-03 13:32:16 Embedded systems TinyOS Procedural programming languages Abstract interpretation Microcontroller Program analysis C Pointer Data-flow analysis Computing Software engineering Computer programming
87	UNCERT User’s Guide (Version 1.16±) A Geostatistical Uncertainty Analysis Package Applied to Groundwater Flow and Contaminant Transport Modeling Developed By: William L. Wingle, Eileen P. Poeter, Sean A. McKenna Add to Reading List Source URL: www.uncert.com Language: English - Date: 2014-12-18 10:05:41 Data file Menu System software Windows Vista Software Computing Computer file Inter-process communication
88	An Intermediate Representation for Speculative Optimizations in a Dynamic Compiler Gilles Duboscq∗ ∗ Thomas W¨urthinger† Lukas Stadler∗ Christian Wimmer† Add to Reading List Source URL: design.cs.iastate.edu Language: English - Date: 2013-10-10 09:43:22 Static single assignment form Compiler Dominator Data-flow analysis Just-in-time compilation Tango tree Compiler construction Software Computing
89	Defining Specialization for Process Models George M. Wyner () Boston University School of Management (phJintae Lee () College of Business. Univ. of Colorado Add to Reading List Source URL: ccs.mit.edu Language: English - Date: 2001-02-16 12:02:41 Systems engineering Science UML diagrams Object-oriented programming Systems analysis Data flow diagram Object-oriented design State diagram Activity diagram Diagrams Software engineering Infographics
90	The polyhedral model Scheduling, SURES, and approximated loops Data mapping & communication optimizations Approximations in the polyhedral model Alain Darte Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2011-04-08 06:14:48 Loop optimization Polytope model Automatic parallelization Fortran Aliasing Compiler Data-flow analysis GNU Compiler Collection Mathematical optimization Computing Software Compiler optimizations

UPDATE